module M

match (true, true) with | _ -> ()
